A Dataflow Semantics for Constraint Logic Programs

This paper introduces an alternative operational model for constraint logic programs. First, a transition system is introduced, which is used to define a trace semantics 7-. Next, an equivalent fixpoint semantics F is defined: a dataflow graph is assigned to a program, and a consequence operator on tuples of sets of constraints is given whose least fixpoint determines one set of constraints for each node of the dataflow graph. To prove that 9 c and "27 are equivalent, an intermediate semantics (9 is used, which propagates a given set of constraints through tile paths of the dataflow graph. Possible applications of J-(and (9) are discussed: in particular, its incrementality is used to define a parallel execution model for clp's based on asynchronous processors assigned to the nodes of the program graph. Moreover, (9 is used to formalize the Intermittent Assertion Method of Burstall [Bur74] for constraint logic programs.